We explore Shelah's model‐theoretic dividing line methodology. In particular, we discuss how problems in model theory motivated new techniques in model theory, for example classifying theories by their potential (consistently with Zermelo–Fraenkel set theory with the axiom of choice (ZFC)) spectrum of cardinals in which there is a universal model. Two other examples are the study (with Malliaris) of the Keisler order leading to a new ZFC result on cardinal invariants and attempts to clarify the “main gap” by reducing the (...) dependence of certain versions on (highly independent) cardinal arithmetic. (shrink)

Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the impact (...) of model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics. (shrink)

Clear focus on its application of formal logic to ordinary English is the most distinctive feature of this textbook for the introductory course in deductive logic. Great care is taken with the appropriate translation into logical languages of ordinary English sentences. Evaluation of these translations promotes a more effective use of ordinary language. The Principles of Deductive Logic presents symbolic logic in a fuller and more leisurely fashion than other introductory textbooks. Early chapters cover informal material, including definition and informal (...) fallacies. The remainder of the text is devoted to the treatment of four distinct artificial languages. The Categorical language is the language of syllogistic logic. The Extended Categorical language enriches this first language with the symbolic connectives for conjunction and negation. The Propositional Connective language and the First-Order language are the two basic languages of modern logic. Each language is accompanied by a deductive system, and is used as an instrument for exploring ordinary language, including ordinary arguments The book contains a large number of exercises whose answers are supplied in the back of the book, and many more that can be assigned as homework. A solution’s manual is available to instructors upon their request. The request must be written on college or university letterhead. (shrink)

Both physicists and philosophers claim that quantum mechanics reduces to classical mechanics as 0, that classical mechanics is a limiting case of quantum mechanics. If so, several formal and non-formal conditions must be satisfied. These conditions are satisfied in a reduction using the Wigner transformation to map quantum mechanics onto the classical phase plane. This reduction does not, however, assist in providing an adequate metaphysical interpretation of quantum theory.

Rousseau's God offers a comprehensive interpretation of Rousseau's theological and religious writings, both in themselves and in relation to his philosophy of the natural goodness of man. John T. Scott argues that there is a complicated relationship between Rousseau's philosophy, on the one hand, and his theological and religious thought. This relationship revolves around two oppositions: first, between the attributes and psychological needs of natural man and social or moral man; second, between the criteria of truth and utility for (...) evaluating theological and religious doctrines. In short, because the justification of nature through the natural goodness of man does not suffice for developed humans, Rousseau offers theological and religious doctrines which are less true than useful, psychologically, morally, or politically. (shrink)

New Blackfriars, Volume 102, Issue 1101, Page 637-657, September 2021.

The article covers electronic informed consent from different dimensions so that practitioners might understand the history, regulation, and current status of eIC. It covers the transition of informed consent to electronic screens and the implications of that transition in terms of design, costs, and data analysis. The article explores the limits of regulation mandating eIC for mobile application research, and addresses some of the broader social context around eIC.

What Aphorism Does Nietzsche Explicate in Genealogy of Morals, Essay III ? JOHN T. WILCOX A picture held us captive. Wittgenstein ~ AS EVERYONE KNOWS, the dominant opinion is not always correct. Current scholarship, in all likelihood, makes assumptions which have not yet been questioned; and probably some of them will be seen to be false, once they have been examined. I will argue here that there is a dominant but erroneous assumption concerning the Third Essay in Nietzsche's On (...) the Genealogy of Morals. It will be obvious that correcting this error has some serious implica- tions for almost all current interpretations of the essay. After acknowledging, at the end of his Preface to the Genealogy, that some might find his new book "incomprehensible," Nietzsche warns that "the fault.., is not necessarily mine." He assumes, he says, that readers have already worked hard at his earlier writings, themselves "not easy to pene- trate," and have been "wounded" and "delighted" by his Zarathustra. Then he begins one of several passages we must examine carefully: In other cases, people have difficulty with the aphoristic form: this arises from the fact that today this form is not taken seriously enough. An aphorism, properly stamped and molded, has not been "deciphered" when it has simply been read; rather, one has then to begin its exegesis, for which is required an art of exegesis. I have offered in the third essay of the present book an example of what I.. (shrink)

We show that K-generic projective planes have Morley rank either two or infinity. We also show give a direct argument that such planes are not Desarguesian.

Thesis: The exclusion of organized labor/management issues from the principal arenas for business ethics study and discussions needs to be remedied. The paper develops this thesis in three steps: 1) Exclusion: A careful examination of select textbooks, journals, and conferences provides evidence as to the virtual absence of unions and such crucial organized labor/management issues as labor organizing and collective bargaining; 2) Inclusion: A series of brief arguments favoring inclusion of these issues in business ethics based on the notion of (...) privileged institutions, adversarial posturing, the societal benefits, and globalization; 3) Suggestions: Some practical, cooperative initiatives involving the academy, management and labor, such as, labor officials as guest speakers and members of business school committees, internships in labor organizations, training workshops in business ethics for labor leaders, fora for joint management/labor discussions of issues each group faces in the economy and the legislatures. (shrink)

A new ethics of human finitude developed through three experimental essays. As ethical beings, we strive for lives that are meaningful and praiseworthy. But we are finite. We do not know, so we hope. We need, so we trust. We err, so we forgive. In this book, philosopher John T. Lysaker draws our attention to the ways in which these three capacities—hope, trust, and forgiveness—contend with human limits. Each experience is vital to human flourishing, yet each also poses significant (...) personal and institutional challenges as well as opportunities for growth. Hope, Trust, and Forgiveness explores these challenges and opportunities and proposes ways to best meet them. In so doing, Lysaker experiments with the essay as a form and advances an improvisational perfectionism to deepen and expand our ethical horizons. (shrink)

We describe techniques for constructing models of size continuum inωsteps by simultaneously building a perfect set of enmeshed countable Henkin sets. Such models have perfect, asymptotically similar subsets. We survey applications involving Borel models, atomic models, two-cardinal transfers and models respecting various closure relations.

In Part I of this paper we argued that the first-order systems HP5 and EG are modest complete descriptive axiomatization of most of Euclidean geometry. In this paper we discuss two further modest complete descriptive axiomatizations: Tarksi’s for Cartesian geometry and new systems for adding $$\pi$$. In contrast we find Hilbert’s full second-order system immodest for geometrical purposes but appropriate as a foundation for mathematical analysis.

The growth of esports as a recognized, organized, competitive activity in North America and Europe has evolved steadily from one of the most prominent sport industries in several Asian countries. Esports, which is still pursuing a widely accepted governance structure, has struggled to control the factors that typically act as a breeding ground for sport corruption. Within the esports industry, there is alleged widespread use of both prescription and off-label use of stimulants, such as modafinil, methylphenidate, and dextroamphetamine. Anti-doping policy (...) implementation in this environment may result in either the abuse of the Therapeutic Use Exemptions system or excluding too many competitors who have a legitimate need for these medications. In this paper, we contextualize esports and substance use within this emerging industry. Subsequently, we outline the specific challenges faced by esports organizations in crafting policies to address PEDs—one of the industry’s most pressing issues. Furt... (shrink)

György Lukacs was a Hungarian Marxist philosopher, writer, and literary critic who shaped mainstream European Communist thought. _Soul and Form_ was his first book, published in 1910, and it established his reputation, treating questions of linguistic expressivity and literary style in the works of Plato, Kierkegaard, Novalis, Sterne, and others. By isolating the formal techniques these thinkers developed, Lukács laid the groundwork for his later work in Marxist aesthetics, a field that introduced the historical and political implications of text. For (...) this centennial edition, John T. Sanders and Katie Terezakis add a dialogue entitled "On Poverty of Spirit," which Lukács wrote at the time of _Soul and Form_, and an introduction by Judith Butler, which compares Lukács's key claims to his later work and subsequent movements in literary theory and criticism. In an afterword, Terezakis continues to trace the Lukácsian system within his writing and other fields. These essays explore problems of alienation and isolation and the curative quality of aesthetic form, which communicates both individuality and a shared human condition. They investigate the elements that give rise to form, the history that form implies, and the historicity that form embodies. Taken together, they showcase the breakdown, in modern times, of an objective aesthetics, and the rise of a new art born from lived experience. (shrink)

The first major collection of Boyle’s writings to be published since Thomas Birch’s eighteenth-century edition of his works presents material hitherto available only in the archives of the Royal Society. This edition of Boyle’s _Aretology _ and other moral essays from the late 1640s offers the intellectual and religious origins of Boyle’s most vital themes. John T. Harwood also includes two essays on moral topics, "Of Sin" and "Of Piety"; a sample of Boyle’s private meditations, "Joseph’s Mistress"; a short (...) essay, "Of Time and Idleness"; and two guides to private meditation, "The Dayly Reflection" and "Of Thoughts." Harwood concludes the volume with a previously unpublished account of about seven hundred books in Boyle’s library at the time of his death. (shrink)

Introduction -- John T. PARRY: Pain, Interrogation, and the Body: State Violence and the Law of Torture -- Fernando PURCELL: "Too Many Foreigners for My Taste": Law, Race and Ethnicity in California, 1848-1852 -- Shani D'CRUZE: Protection, Harm and Social Evil: The Age of Consent, c. 1885-c. 1940 -- Ruth A. MILLER: Sin, Scandal, and Disaster: Politics and Crime in Contemporary Turkey -- İştar GÖZAYD1N: Adding Injury To Injury: The Case of Rape and Prostitution in Turkey -- Dani FILC (...) and Hadas ZIV: Exception as the Norm and the Fiction of Sovereignty: The Lack of the Right to Health Care in the Occupied Territories -- Alban BURKE: Mental Health Care During Apartheid in South Africa: An Illustration of How "Science" Can be Abused -- Rui ZHU: Schistosomiasis and Capital Marxism -- Elena A. BAYLIS: The Inevitable Impunity of Suicide Terrorists -- Douglas J. SYLVESTER: The Lessons of Nuremberg and the Trial of Saddam Hussein -- Kirsten AINLEY: Responsibility for Atrocity: Individual Criminal Agency and the International Criminal Court -- Roberto BUONAMANO: Humanity and Inhumanity: State Power and the Force of Law in the Prescription of Juridical Norms -- Vincent LUIZZI: New Balance, Evil, and the Scales of Justice -- Jody LYNEÉ MADEIRA: The Execution as Sacrifice -- Bram IEVEN: Legitimacy and Violence: On the Relation between Law and Justice According to Rawls and Derrida -- Notes on Contributors. (shrink)

Abrams, Rosenthal, and Strevens have recently presented interpretations of the objective probabilities posited by some scientific theories that build on von Kries’s idea of identifying probabilities with ranges of values in a space of possible states. These interpretations face a problem, forcefully pointed out by Rosenthal, about how to determine ‘input probabilities.’ I argue here that Abrams’s and Strevens’s attempts to solve this problem do not succeed. I also argue that the problem can be solved by recognizing the possibility of (...) laws of nature that manifest themselves not as universal regularities, but instead as constraints on relative frequencies. (shrink)

Answering the simplest questions satisfactorily often poses the greatest challenge and difficulty to philosophers. Since these questions concern principles underlying our everyday conduct, the inability to provide convincing answers can be exceedingly frustrating. When, during a career of teaching, John T. Goldthwait was asked by his students "Why is that good?" - in regard to art and to conduct - he realized he had no answer that would satisfy his students and himself. And so, his effort to answer his (...) students became a journey through the concept of value judgments, resulting in his book, Value, Language, and Life. What is value? What makes things good? Value, Language, and Life presents a new answer to these age-old questions through Goldthwait's adaptation of linguistic analysis and phenomenological methodology. By examining our everyday experience and use of language, he arrives at a knowledge of value that can be applied in solving problems and reconciling disputes about value. This unique approach enables us to place ethics, aesthetics, and other fields in which value is prominent on a single foundation. (shrink)

This volume explores the theological thought of John Mair, a significant 16th-century Parisian scholar. It includes articles exploring his positions on humanism and scholasticism, faith and theology, the Trinity and Incarnation, ethics and casuistry, and justification and sacraments.

Pliny's celebration of Cicero's consular achievements contains a striking anomaly, namely the assertion that Cicero proscribed Marcus Antonius(HN7.117). That statement turns Cicero, the victim of Antonius’ murderous vendetta, into the one who wielded the executioner's axe, and it abruptly shifts the focus of the passage from 63 to 43b.c.Two slight corrections to the Latin text can eliminate the intrusion of the proscriptions by substituting a reference to the control Cicero exercised in 63 over Gaius Antonius, his consular colleague and an (...) old ally of Catiline. In hisIn Pisonem(§5), Cicero takes credit for combatting the threat posed by his colleague, and it is highly probable thatHN7.117 mentioned Gaius (not Marcus) Antonius as well, since Pliny's summary of Cicero's consular deeds and honours is nearly identical to the one found inPis. 4–6. The beauty of the emended text is that it restores both historical fact and a logical progression to the overall structure of Pliny's encomium. (shrink)

Subcreative sets, introduced by Blum, are known to coincide with the effectively speedable sets. Subcreative sets are shown to be the complete sets with respect to S-reducibility, a special case of Turing reducibility. Thus a set is effectively speedable exactly when it contains the solution to the halting problem in an easily decodable form. Several characterizations of subcreative sets are given, including the solution of an open problem of Blum, and are used to locate the subcreative sets with respect to (...) the complete sets of other reducibilities. It is shown that q-cylindrification is an order-preserving map from the r.e. T-degrees to the r.e. S-degrees. Consequently, T-complete sets are precisely the r.e. sets whose q-cylindrifications are S-complete. (shrink)

I describe a problem about the relations among symmetries, laws and measurable quantities. I explain why several ways of trying to solve it will not work, and I sketch a solution that might work. I discuss this problem in the context of Newtonian theories, but it also arises for many other physical theories. The problem is that there are two ways of defining the space-time symmetries of a physical theory: as its dynamical symmetries or as its empirical symmetries. The two (...) definitions are not equivalent, yet they pick out the same extension. This coincidence cries out for explanation, and it is not clear what the explanation could be. The Puzzle: Symmetries, Measurability and Invariance 1.1 The symmetries and the measurable quantities of Newtonian mechanics 1.2 The puzzle Two Easy Answers Another Unsuccessful Solution: Appeal to Geometrical Symmetries Locating the Puzzle The Relation between Laws and Measurability A Possible Solution CiteULike Connotea Del.icio.us What's this? (shrink)

In the Discourses on Livy, Machiavelli claims that writers who are afraid to condemn Caesar instead criticize Catiline. I argue that Machiavelli follows this advice by inverting it. He openly condemns Caesar and the empire he founded while signaling that he has in mind another inimical example: the Church. He signals his intention by echoing Cicero’s fourth Catilinarian oration, imitating Cicero’s image of the ruin of Rome if Catiline’s conspiracy were to succeed through his own vision of the Italy wrought (...) by wicked Roman emperors who succeeded Caesar. The reader of Machiavelli who recognizes this echo is in a position to see Machiavelli’s own Catilinarian oration against another successor of Caesar. In making my argument, I draw on Rex Stem’s treatment of the functions of exemplementarity as employed by authors of texts and as received by their readers. (shrink)

Since the mid‐1950s, the various research programs within cognitive science have advanced our basic understanding of human mental function. Over the past 20 years, this basic science of mind has also contributed to the genesis of an applied science of learning and teaching that can powerfully inform educational practice and dramatically improve educational outcomes. Classroom practice based on this applied science differs from traditional instruction in several ways. Instruction based on cognitive theory envisions learning as an active, strategic process. It (...) assumes that learning follows developmental trajectories within subject‐matter domains. It recognizes that learning is guided by the learners' introspective awareness and control of their mental processes. It emphasizes that learning is facilitated by social, collaborative settings that value self‐directed student dialogue. (shrink)

This paper uses the resources of illocutionary logic to provide a new understanding of the Liar Paradox. In the system of illocutionary logic of the paper, denials are irreducible counterparts of assertions; denial does not in every case amount to the same as the assertion of the negation of the statement that is denied. Both a Liar statement, (a) Statement (a) is not true, and the statement which it negates can correctly be denied; neither can correctly be asserted. A Liar (...) statement, more precisely, an attempted Liar statement, fails to fulfill conditions essential to statements, but no linguistic rules are violated by the attempt. Ordinary language, our ordinary practice of using language, is not inconsistent or incoherent because of the Liar. We are committed to deny Liars, but not to accept or assert them. This understanding of the Liar Paradox and its sources cannot be fully accommodated in a conventional logical system, which fails to mark the distinction between sentences/statements and illocutionary acts of accepting, rejecting, and supposing statements. (shrink)